Fizikos terminų žodynas : lietuvių, anglų, prancūzų, vokiečių ir rusų kalbomis. – Vilnius : Mokslo ir enciklopedijų leidybos institutas. Vilius Palenskis, Vytautas Valiukėnas, Valerijonas Žalkauskas, Pranas Juozas Žilinskas. 2007.
Machine à différences — Machine analytique Reproduction moderne de la Machine analytique de Charles Babbage, fabriquée en 1992 pour le Musée des Sciences de Londres La machine analytique (analytical engine en anglais) est une machine de calcul inventée et créée en 1834… … Wikipédia en Français
machine calculatrice — skaičiavimo mašina statusas T sritis fizika atitikmenys: angl. computing machine vok. Rechenmaschine, f rus. вычислительная машина, f pranc. machine à calcul, f; machine à calculer, f; machine calculatrice, f … Fizikos terminų žodynas
machine à calculer — skaičiavimo mašina statusas T sritis fizika atitikmenys: angl. computing machine vok. Rechenmaschine, f rus. вычислительная машина, f pranc. machine à calcul, f; machine à calculer, f; machine calculatrice, f … Fizikos terminų žodynas
Machine De Turing — Pour les articles homonymes, voir Turing (homonymie). Une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur et sa mémoire, créé par Alan Turing en vue de donner une définition précise … Wikipédia en Français
Machine de turing — Pour les articles homonymes, voir Turing (homonymie). Une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur et sa mémoire, créé par Alan Turing en vue de donner une définition précise … Wikipédia en Français
Calcul Des Prédicats — Le calcul des prédicats du premier ordre, ou calcul des relations, ou logique du premier ordre, ou tout simplement calcul des prédicats est une formalisation du langage des mathématiques proposée par les logiciens de la fin du XIXe siècle et … Wikipédia en Français
Calcul des predicats — Calcul des prédicats Le calcul des prédicats du premier ordre, ou calcul des relations, ou logique du premier ordre, ou tout simplement calcul des prédicats est une formalisation du langage des mathématiques proposée par les logiciens de la fin… … Wikipédia en Français
Calcul des prédicats du premier ordre — Calcul des prédicats Le calcul des prédicats du premier ordre, ou calcul des relations, ou logique du premier ordre, ou tout simplement calcul des prédicats est une formalisation du langage des mathématiques proposée par les logiciens de la fin… … Wikipédia en Français
Calcul des relations — Calcul des prédicats Le calcul des prédicats du premier ordre, ou calcul des relations, ou logique du premier ordre, ou tout simplement calcul des prédicats est une formalisation du langage des mathématiques proposée par les logiciens de la fin… … Wikipédia en Français
Machine a registres illimites — Machine à registres illimités En informatique, une machine à registres illimités ou URM (de l anglais : Unlimited Register Machine) est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tout comme les machines de… … Wikipédia en Français
